<?php
$x = UndefinedClass::CONST;
